perm filename INFPOS[P,JRA] blob
sn#103038 filedate 1974-05-22 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 ITERATIVE
C00006 ENDMK
C⊗;
ITERATIVE
TSLOOP
NIL
NIL
NIL
NEWVAR(V1,V2);C(V1,(0));;
C(V1,V6);INTEGER(V6);STACK(V4);STACK(V5);ISVAR(V2);;
C(V1(ADD1 V6));NEXTSYM(V2);PROCESS(V2,V4,V5);;
>(V1,V3);;
POLISH(V5);;
TSL(V3,V4,V5);;
AXIOM
TINT
NIL
T
NIL
=(V1,(0)) INTEGER((SUB1 V1));;
INTEGER(V1);;
DEF
PDEF
NIL
NIL
NIL
RP(V2) VAR(V2) LP(V2) OP(V2);PROCESSYM(V2,V4,V5);;
PROCESS(V2,V4,V5);;
OP
GETNEXT(V1)
NIL
NIL
NIL
ISVAR(V1);;
NEXTSYM(V1);;
DEF
VDEF
NIL
NIL
NIL
VAR(V2);PUSHED(V2,V5);;
PROCESSYM(V2,V4,V5);;
DEF
LDEF
NIL
NIL
NIL
LP(V2);PUSHED(V2,V4);;
PROCESSYM(V2,V4,V5);;
DEF
RDEF
NIL
NIL
NIL
RP(V2);POPOPS(V4,V5);;
PROCESSYM(V2,V4,V5);;
DEF
ODEF
NIL
NIL
NIL
OP(V2);POPHOPS(V2,V4,V5);PUSHED(V2,V4);;
PROCESSYM(V2,V4,V5);;
OP
PUSH(V1,V2)
NIL
NIL
NIL
ISVAR(V1);STACK(V2);STACKSIZE(V2,V3);;
PUSHED(V1,V2);STACKSIZE(V2,(ADD1 V3));;
OP
POP(V2)
NIL
NIL
NIL
STACK(V2);STACKSIZE(V2,V3);¬EMPTY(V2);;
POPPED(V2);STACKSIZE(V2,(SUB1 V3));;
OP
TOP(V1,V2)
NIL
NIL
NIL
ISVAR(V1);STACK(V2);STACKSIZE(V2,V3);;
TOPPED(V1,V2,V3);C(V1,(TOP V2));;
ITERATIVE
OLOOP
NIL
NIL
NIL
NEWVAR(V1);STACKSIZE(V4,V3);TOPPED(V1,V4,V3);;
C(V1,V2);=(V2,(TOP V4));STACK(V4);STACK(V5);STACKSIZE(V4,V6);;
PUSHED(V1,V5);POPPED(V4);TOPPED(V1,V4,V6);;
¬OP(V1);<((PRIORTY V1),(PRIORITY V7));;
POPHOPS(V7,V4,V5);;
POPHOPS(V7,V4,V5);;
ITERATIVE
RLOOP
NIL
NIL
NIL
NEWVAR(V1);STACKSIZE(V4,V3);TOPPED(V1,V4,V3);;
C(V1,V2);=(V2,(TOP V4));STACK(V4);STACK(V5);STACKSIZE(V4,V6);;
PUSHED(V1,V5);POPPED(V4);TOPPED(V1,V4,V6);;
¬OP(V1);;
POPOPS(V4,V5);;
POPOPS(V4,V5);;
OP
←(V1,V2)
NIL
NIL
NIL
ISVAR(V1);;
C(V1,V2);;
NIL
NIL
STACK(S);STACK(R);STACKSIZE(S,I);STACKSIZE(R,J);;
T
((C T NIL NIL (X,*))
(NEXTSYM T NIL NIL NIL)
(PROCESS T NIL NIL NIL)
(PROCESSYM T NIL NIL NIL)
(> NIL NIL NIL NIL)
(POLISH T NIL NIL NIL)
(TSL T NIL NIL NIL)
(= NIL NIL NIL NIL)
(INTEGER T NIL NIL NIL)
(VAR NIL T NIL NIL)
(LP NIL T NIL NIL)
(RP NIL T NIL NIL)
(OP NIL T NIL NIL)
(ISVAR NIL NIL NIL NIL)
(PUSHED T NIL NIL NIL)
(POPOPS T NIL NIL NIL)
(POPPED T NIL NIL NIL)
(TOPPED T NIL NIL NIL)
(STACKSIZE T NIL NIL (X,*))
(POPHOPS T NIL NIL NIL)
(STACK NIL NIL NIL NIL)
(EMPL T NIL NIL NIL)
(< NIL NIL NIL NIL)
)
NIL